🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Unlocking Schedules: Visualizing Constraint Conflicts with Graph-Based Analysis by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
🎨Graph Coloring
Can a Data Race Happen on a Single-Core Machine?
aoli.al·7h·
Discuss: Hacker News
⚡Cache Coherence
Teaching LLMs to Plan: Logical Chain-of-Thought Instruction Tuning for Symbolic Planning
arxiv.org·19h
🧠Computational Logic
Java 25: Oracle Makes Java Easier To Learn, Ready for AI Development
thenewstack.io·31m
⚙️PL Implementation
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·6h·
Discuss: Hacker News
🌀Brotli Internals
Countering threats to business logic
techradar.com·9h
🔐CBOR
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
Controlling program flow with capabilities in Scala
nrinaudo.github.io·13h·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Unusual Memory Bit Patterns | Software Verify
softwareverify.com·16h
🧠Separation Logic
System Instruction Fixed Point
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
What’s New in Tenable Cloud Security: A More Personalized, Global and Comprehensive Experience
tenable.com·8h
🏠Homelab Security
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to·15h·
Discuss: DEV
🧮Constraint SMT
We have outgrown the Process model
sidhion.com·18h·
Discuss: Lobsters, Hacker News, r/programming
⚙️Operating System Design
Automated Semantic Drift Detection and Mitigation in Real-Time Multimodal Data Streams
dev.to·5h·
Discuss: DEV
🌊Stream Processing
Solving Impossible Problems
aha.io·6h·
Discuss: Hacker News
⚡Proof Automation
I wrote a guide on Go slices (len/cap, append growth, slicing pitfalls, and copy for leak-free code)
reddit.com·8h·
Discuss: r/golang
🦀Rust Macros
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
How AI coding tools can learn to develop secure software
reversinglabs.com·1d
⚡Proof Automation
Underrated Postgres: Build Multi-Tenancy with Row-Level Security
simplyblock.io·14h·
Discuss: Hacker News
🔐CBOR